Schopp, Ulrich: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Pure pointer programs with iteration

Hofmann, Martin, Schöpp, Ulrich

Journal:

ACM Transactions on Computational Logic

Year:

2010

Language:

english

File:

PDF, 266 KB

english, 2010

2

Capacitively Coupled High-Pressure Lamp Using Coaxial Line Networks

Schopp, Christoph, Doll, Timo, Graeser, Ulrich, Harzheim, Thomas, Heuermann, Holger, Kling, Rainer, Marso, Michel

Journal:

IEEE Transactions on Microwave Theory and Techniques

Year:

2016

Language:

english

File:

PDF, 2.11 MB

english, 2016

3

Prevalence of human papillomavirus types in women screened by cytology in Germany

Stefanie J. Klug, Meike Hukelmann, Bettina Hollwitz, Nurgül Düzenli, Betti Schopp, Karl-Ulrich Petry, Thomas Iftner

Journal:

Journal of Medical Virology

Year:

2007

Language:

english

File:

PDF, 165 KB

english, 2007

4

Comparison of the performance of different HPV genotyping methods for detecting genital HPV types

Stefanie J. Klug, Anco Molijn, Betti Schopp, Barbara Holz, Angelika Iftner, Wim Quint, Peter J.F. Snijders, Karl-Ulrich Petry, Susanne Krüger Kjær, Christian Munk, Thomas Iftner

Journal:

Journal of Medical Virology

Year:

2008

Language:

english

File:

PDF, 110 KB

english, 2008

5

Evaluation of the performance of the novel PapilloCheck® HPV genotyping test by comparison with two other genotyping systems and the HC2 test

Betti Schopp, Barbara Holz, Manola Zago, Frank Stubenrauch, Karl-Ulrich Petry, Susanne Krüger Kjaer, Thomas Iftner

Journal:

Journal of Medical Virology

Year:

2010

Language:

english

File:

PDF, 166 KB

english, 2010

6

Modelling Generic Judgements

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 362 KB

english, 2007

7

[IEEE 2009 24th Annual IEEE Symposium on Logic In Computer Science (LICS) - Los Angeles, California, USA (2009.08.11-2009.08.14)] 2009 24th Annual IEEE Symposium on Logic In Computer Science - Pointer Programs and Undirected Reachability

Hofmann, Martin, Schopp, Ulrich

Year:

2009

Language:

english

File:

PDF, 376 KB

english, 2009

8

[IEEE 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Wroclaw, Poland (2007.07.10-2007.07.14)] 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Stratified Bounded Affine Logic for Logarithmic Space

Year:

2007

Language:

english

File:

PDF, 254 KB

english, 2007

9

Isotope labelling experiments on the formation pathway of 3-hydroxy-4,5-dimethyl-2(5 H )-furanone from l -isoleucine in cultures of Laetiporus sulphureus

Lanfermann, Isabel, Krings, Ulrich, Schopp, Silke, Berger, Ralf G.

Journal:

Flavour and Fragrance Journal

Year:

2014

Language:

english

File:

PDF, 638 KB

english, 2014

10

[ACM Press the 16th International Symposium - Canterbury, United Kingdom (2014.09.08-2014.09.10)] Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14 - Organising Low-Level Programs using Higher Types

Schöpp, Ulrich

Year:

2014

Language:

english

File:

PDF, 469 KB

english, 2014

11

Computation by interaction for space-bounded functional programming

Dal Lago, Ugo, Schöpp, Ulrich

Journal:

Information and Computation

Year:

2016

Language:

english

File:

PDF, 2.23 MB

english, 2016

12

A Comprehensive Study of Copper Guanidine Quinoline Complexes: Predicting the Activity of Catalysts in ATRP with DFT

Rösener, Thomas, Bienemann, Olga, Sigl, Kerstin, Schopp, Nora, Schnitter, Fabian, Flörke, Ulrich, Hoffmann, Alexander, Döring, Artjom, Kuckling, Dirk, Herres-Pawlis, Sonja

Journal:

Chemistry - A European Journal

Year:

2016

Language:

english

File:

PDF, 744 KB

english, 2016

13

Special issue – Developments in implicit computational complexity, 2014 and 2015

Gaboardi, Marco, Schöpp, Ulrich

Journal:

Information and Computation

Year:

2018

Language:

english

File:

PDF, 193 KB

english, 2018

14

[ACM Press the 19th International Symposium - Namur, Belgium (2017.10.09-2017.10.11)] Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming - PPDP '17 - Defunctionalisation as modular closure conversion

Schöpp, Ulrich

Year:

2017

Language:

english

File:

PDF, 1.13 MB

english, 2017

15

[IEEE 2020 IEEE Workshop on Formal Requirements (FORMREQ) - Zurich, Switzerland (2020.8.31-2020.9.4)] 2020 IEEE Workshop on Formal Requirements (FORMREQ) - Requirements-based Code Model Checking

Schopp, Ulrich, Schweiger, Andreas, Reich, Marina, Chuprina, Tatiana, Lucio, Levi, Bruning, Hartmut

Year:

2020

File:

PDF, 443 KB

2020

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски